$\forall$$n$, $i$:$\mathbb{N}$. $i$$<$$n$ $\Rightarrow$ ($i$ $\in$ upto($n$))